Table‐based formal specification approaches for control engineers—empirical studies of usability
نویسندگان
چکیده
منابع مشابه
The Usability of Formal Specification Representations
Formal specification representations are powerful abstraction tools. Employing such tools requires an ability to effectively exploit the information that they express. We report on an experiment investigating the influence of employing a formal specification on the developer’s perception of its solution approach.
متن کاملUsability of Security Specification Approaches for UML Design: A Survey
Since it is the de facto language for software specification and design, UML is the target language used by almost all state of the art contributions handling security at specification and design level. However, these contributions differ in the covered security requirements, specification approaches, verification tools, etc. This paper investigates the main approaches adopted for specifying an...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملFormal specification of hypotheses for assisting computer simulation studies
The aim of computer simulation studies is to answer research questions by means of experiments. For providing reliable evidence, the procedure of the study needs to be aligned with the question and the steps of the study need to be adjusted and combined accordingly. Supporting this process is challenging as the identification, customization, and combination of adequate tools and techniques for ...
متن کاملFormal Specification of an Access Control System
Computing facilities networked together but controlled by different administrations pose a problem of access control. Who decides who can use what? We specify a formal model for an access control system which allows users and services from different administrations to communicate with each other, while still allowing the administrators to retain control of their own parts of the network. The mo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IET Cyber-Physical Systems: Theory & Applications
سال: 2021
ISSN: 2398-3396,2398-3396
DOI: 10.1049/cps2.12017